#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>

jmp_buf jbuf;

int main() {
	if (setjmp(jbuf) != 0) {
		printf("haha\n");
	}
			
	longjmp(jbuf, 1);
	return 0;
}
